mcsta/modest mcsta egl.jani -E N=10,L=8 --props unfairA -O out.txt Minimal --unsafe --es -S Hybrid --store-compress None --no-partial-results --alg OptimisticValueIteration --epsilon 1e-6 --width 1e-6 --relative-width --p0 --p1
egl.jani:model: info: egl is a DTMC model.
egl.jani: info: Need 88 bytes per state.
egl.jani: info: Explored 234281097 states for N=10, L=8.
Peak memory usage: 11637 MB
Analysis results for egl.jani
Experiment N=10, L=8
+ State space exploration
State size: 88 bytes
States: 234281097
Transitions: 234281097
Branches: 235329672
Rate: 235751 states/s
Time: 1099.8 s
+ Property unfairA
Probability: 0.50048828125
Bounds: [0.50048828125, 0.50048828125]
Time: 310.0 s
+ Precomputations
Min. prob. 0 states: 159227392
Time for min. prob. 0 states: 163.6 s
Min. prob. 1 states: 75052170
Time for min. prob. 1 states: 72.2 s
+ Essential states
Iterations: 1
Essential states: 1537
Transitions: 1537
Branches: 3072
Time: 73.7 s
+ Optimistic value iteration
Total iterations: 3
Verif. attempts: 1
Verif. iterations: 1
Final epsilon: 1E-06
Time: 0.0 s
Exported results to file "/out.txt".